1. .....................
پدیدآورنده : Genzburg, Abraham..
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Machine theory,، Automata
رده :
QA
266
.
G52
1968
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. .....................
پدیدآورنده : )by( E.F. Codd
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Automata
رده :
QA
267
.
5
.
S4
C6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. .....................
پدیدآورنده : Unger, Stephen H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Switching theory,Sequential machine theory
رده :
TK
7868
.
S9
U5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. .....................
پدیدآورنده : Starke, peter H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory
رده :
QA
267
.
S6913
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. .....................
پدیدآورنده : Azaria Paaz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Sequential machine theory,، Markov processes
رده :
QA
267
.
5
.
S4
P3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. .....................
پدیدآورنده : ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. .....................
پدیدآورنده : Yan, Song Y.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra,جبر, -- Congresses, -- کنگرهها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
10. A concise introduction to languages and machines
پدیدآورنده : Parkes, Alan.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. A course in formal languages, automata and groups
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal languages. ; Machine theory. ; Group theory. ;
![](/design/images/bookmore.png)
12. A course in formal languages, automata and groups
پدیدآورنده : / Ian M. Chiswell
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory,Group theory
رده :
E-BOOK
![](/design/images/bookmore.png)
13. A course in formal languages, automata and groups
پدیدآورنده : Chiswell, Ian
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
![](/design/images/bookmore.png)
15. A text book of Theory of Machines
پدیدآورنده : R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Abstract State Machines, Alloy, B, TLA, VDM, and Z
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگرهها,نظریه ماشین -- کنگرهها,فراگیری ماشینی
رده :
E-Book
,
![](/design/images/bookmore.png)
17. Abstract automata
پدیدآورنده : Starke, Peter H.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory
رده :
QA
267
.
S6913
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Abstract automata
پدیدآورنده : [by] Peter H. Starke, [translated from the German by I. Shepherd]
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Machine theory
رده :
QA
,
267
,.
S6913
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Abstract computing machines :
پدیدآورنده : / W. Kluge
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Machine theory,Lambda calculus
رده :
E-BOOK
![](/design/images/bookmore.png)
20. Abstract machine models for highly parallel computers
پدیدآورنده : edited by John R. Davy and Peter M. Dew
کتابخانه: (طهران)
موضوع : Parallel computers , Machine theory
رده :
QA
76
.
58
.
A22
1995
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)